1·What is its formal definition?
它的正式定义是什么？
2·Furthermore, a formal definition of open object is proposed.
同时本文还给出它的形式定义。
3·The formal definition of GOOPN and its operation laws are given.
给出了GOOPN的形式定义及运行规则。
4·XPath 1.0: Read the formal definition of XPath in the original specification.
XPath 1.0：查阅原始规范中对XPath的正式定义。
5·Let me first give you the formal definition of gravitational potential energy.
我先给你一个对于，重力势能的形式定义。
6·A formal definition for the net is given and its representation power is discussed.
对该网进行了形式定义，并讨论了它的表示能力。
7·The critical descriptive and formal definition of linear list is also promoted in this paper.
并给出了线性表的严密的描述性定义和形式化定义。
8·The formal definition of TMX shown at the Localisation Industry Standards Association (lisa) Web site states.
Localisation Industry Standards Association(本地化行业标准协会，lisa)网站上给出了TMX的正式定义。
9·Before we get into a formal definition of a realization, let's step back and ask, "What really is a use case?"
在我们给出用例实现的定义之前，回过头来看一下，到底什么是用例？
10·In a more formal definition, topic specialization starts with the containing element and works from the top down.
在更正式的定义中，主题专门化从包含元素开始，自顶向下工作。